$\forall$${\it es}$:ES, $e$:E, $P$:(E$\rightarrow$Prop). $\exists$$e$$\leq$${\it e'}$.$P$(${\it e'}$) $\in$ Prop